Basic research - PDFSEARCH.IO - Document Search Engine

Basic research
Results: 2119

#	Item
691	BRICS Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions A Representation Result for Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-10-06 07:03:41 Functors Monad Kleisli category Limit Universal property Natural transformation Equivalence of categories Enriched category Cartesian closed category Category theory Adjoint functors Monoidal categories
692	BRICS Basic Research in Computer Science BRICS RS-97-5 Etessami et al.: First-Order Logic with Two Variables and Unary Temporal Logic First-Order Logic with Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 08:58:45 Model theory Metalogic Predicate logic Electronic design automation Linear temporal logic First-order logic Boolean satisfiability problem Well-formed formula Constructible universe Logic Mathematical logic Theoretical computer science
693	BRICS Basic Research in Computer Science BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations An Operational Foundation for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-01-23 08:27:09 Control flow Continuations Procedural programming languages Functional programming Delimited continuation Eval Continuation-passing style Continuation Standard ML Software engineering Computing Computer programming
694	BRICS Basic Research in Computer Science BRICS RSO. Danvy: A New One-Pass Transformation into Monadic Normal Form A New One-Pass Transformation into Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-01-20 09:12:30 Functional languages APL programming language family J Symbol Lambda calculus Standard ML Software engineering Computing Computer programming
695	Basic instruction to respond to an emergency Identification of the buildings These instructions affect the Barcelona Biomedical Research Park building Identification of the collective protection means Add to Reading List Source URL: www.upf.edu Language: English - Date: 2014-12-09 05:20:28 Active fire protection Fire extinguisher Fire suppression Emergency management Emergency telephone number Emergency exit Safety Prevention Security
696	BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2006-02-02 19:43:31 Applied mathematics Models of computation Computability theory Explicit substitution Reduction strategy Operational semantics Beta normal form Overlap Formal language Mathematics Theoretical computer science Lambda calculus
697	BRICS RSBRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-12-08 06:09:18 Process calculi Theoretical computer science Universal composability Calculus Process calculus
698	Partnerships for Sustainability in Agriculture Sector CIPT Initiatives Partnerships for basic agricultural research and development Achieving natural resource sustainability and improving rural livelihoods is a complex t Add to Reading List Source URL: www.cipt.in Language: English - Date: 2014-08-26 07:12:41 Sustainability Organic farming Agronomy Agricultural science Agricultural productivity Irrigated Rice Research Consortium HarvestChoice Environment Sustainable agriculture Agriculture
699	BRICS RSO. Danvy: From Reduction-Based to Reduction-Free Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-01-20 05:23:35 Computability theory Formal languages Logic in computer science Lambda calculus Models of computation Reduction strategy Standard ML Function Normal form Theoretical computer science Mathematics Programming language theory
700	BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Modularity in Meta-Languages Modularity in Meta-Languages Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-02-26 07:20:40 Programming language semantics Procedural programming languages Logic in computer science Denotational semantics ALGOL 68 Standard ML Operational semantics Programming language IMP programming language Programming language theory Software engineering Theoretical computer science

UPDATE